typescript satisfies keyword